The Strong Amalgamation Property and (effective) Codescent Morphisms
نویسنده
چکیده
Codescent morphisms are described in regular categories which satisfy the so-called strong amalgamation property. Among varieties of universal algebras possessing this property are, as is known, categories of groups, not necessarily associative rings, M -sets (for a monoid M), Lie algebras (over a field), quasi-groups, commutative quasi-groups, Steiner quasi-groups, medial quasigroups, semilattices, lattices, weakly associative lattices, Boolean algebras, Heyting algebras. It is shown that every codescent morphism of groups is effective.
منابع مشابه
Effective Codescent Morphisms in Some Varieties of Universal Algebras
The paper gives a sufficient condition formulated in a syntactical form for all codescent morphisms of a variety of universal algebras satisfying the amalgamation property to be effective. This result is further used in proving that all codescent morphisms of quasigroups are effective.
متن کاملHomology groups of types in model theory and the computation of H2(p)
We present definitions of homology groups Hn(p), n ≥ 0, associated to a complete type p. We show that if the generalized amalgamation properties hold, then the homology groups are trivial. We compute the group H2(p) for strong types in stable theories and show that any profinite abelian group can occur as the group H2(p). The work described in this paper was originally inspired by Hrushovski’s ...
متن کاملComparative studies of extraction chromatography and electro-amalgamation separation to produce no-carrier added 177Lu by Tehran research reactor
Introduction:Owing to its favorable radionuclidic characteristics, such as tl/2 = 6.73 day and Eβ (max) = 497 keV and ease of its large-scale production using medium flux research reactors, lutetium-177 (177Lu) is an attractive radionuclide for various therapeutic applications. No carrier added (NCA) 177Lu was obtained by thermal neut...
متن کاملOn morphisms of crossed polymodules
In this paper, we prove that the category of crossed polymodules (i.e. crossed modules of polygroups) and their morphisms is finitely complete. We, therefore, generalize the group theoretical case of this completeness property of crossed modules.
متن کاملAmalgamation of Ortholattices
We show that the variety of ortholattices has the strong amalgamation property and that the variety of orthomodular lattices has the strong Boolean amalgamation property, i.e. that two orthomodular lattices can be strongly amalgamated over a common Boolean subalgebra. We give examples to show that the variety orthomodular lattices does not have the amalgamation property and that the variety of ...
متن کامل